In a finite group, the number of elements of order d is divisible by φ(d).